Nahir, Amir: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (26)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Post-Silicon Validation of the IBM POWER8 Processor

Nahir, Amir, Dusanapudi, Manoj, Kapoor, Shakti, Reick, Kevin, Roesner, Wolfgang, Schubert, Klaus-Dieter, Sharp, Keith, Wetli, Greg

Рік:

2014

Мова:

english

Файл:

PDF, 338 KB

english, 2014

2

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor

Adir, Allon, Nahir, Amir, Shurek, Gil, Ziv, Avi, Meissner, Charles, Schumann, John

Рік:

2011

Мова:

english

Файл:

PDF, 542 KB

english, 2011

3

Functional verification of power gated designs by

Cindy Eisner, Amir Nahir, Karen Yorav

Журнал:

Formal Methods in System Design

Рік:

2009

Мова:

english

Файл:

PDF, 390 KB

english, 2009

4

[IEEE 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Huntington Beach, CA, USA (2012.11.9-2012.11.10)] 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Emulation in post-silicon validation: It's not just for functionality anymore

Balston, Kyle, Hu, Alan J., Wilton, Steven J. E., Nahir, Amir

Рік:

2012

Мова:

english

Файл:

PDF, 959 KB

english, 2012

5

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Optimizing test-generation to the execution platform

Nahir, Amir, Ziv, Avi, Panda, Subrat

Рік:

2012

Мова:

english

Файл:

PDF, 368 KB

english, 2012

6

Topology Design of Communication Networks: A Game-Theoretic Perspective

Nahir, Amir, Orda, Ariel, Freund, Ari

Журнал:

IEEE/ACM Transactions on Networking

Рік:

2014

Мова:

english

Файл:

PDF, 1.54 MB

english, 2014

7

[IEEE IEEE INFOCOM 2013 - IEEE Conference on Computer Communications - Turin, Italy (2013.04.14-2013.04.19)] 2013 Proceedings IEEE INFOCOM - Schedule first, manage later: Network-aware load balancing

Nahir, Amir, Orda, Ariel, Raz, Danny

Рік:

2013

Мова:

english

Файл:

PDF, 106 KB

english, 2013

8

[IEEE Fourth International Conference on Autonomic Computing (ICAC'07) - Jacksonville, FL, USA (2007.06.11-2007.06.15)] Fourth International Conference on Autonomic Computing (ICAC'07) - Using the Right Amount of Monitoring in Adaptive Load Sharing

Breitgand, David, Cohen, Rami, Nahir, Amir, Raz, Danny

Рік:

2007

Мова:

english

Файл:

PDF, 103 KB

english, 2007

9

[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms

Chatterjee, Debapriya, Mammo, Biruk, Lee, Doowon, Gal, Raviv, Morad, Ronny, Nahir, Amir, Ziv, Avi, Bertacco, Valeria

Рік:

2013

Мова:

english

Файл:

PDF, 1.07 MB

english, 2013

10

[IEEE 2006 Design Automation Conference - San Francisco, CA, USA ()] 2006 43rd ACM/IEEE Design Automation Conference - Scheduling-based test-case generation for verification of multimedia SoCs

Amir Nahir,, Avi Ziv,, Emek, R., Tal Keidar,, Nir Ronen,

Рік:

2006

Мова:

english

Файл:

PDF, 3.09 MB

english, 2006

11

[IEEE 2013 14th International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2013.12.11-2013.12.13)] 2013 14th International Workshop on Microprocessor Test and Verification - Dynamic Selection of Trace Signals for Post-Silicon Debug

Basu, Kanad, Mishra, Prabhat, Patra, Priyadarsan, Nahir, Amir, Adir, Alon

Рік:

2013

Мова:

english

Файл:

PDF, 731 KB

english, 2013

12

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Effective post-silicon failure localization using dynamic program slicing

Friedler, Ophir, Kadry, Wisam, Morgenshtein, Arkadiy, Nahir, Amir, Sokhin, Vitali

Рік:

2014

Мова:

english

Файл:

PDF, 349 KB

english, 2014

13

[IEEE IEEE INFOCOM 2012 - IEEE Conference on Computer Communications - Orlando, FL, USA (2012.03.25-2012.03.30)] 2012 Proceedings IEEE INFOCOM - Workload factoring with the cloud: A game-theoretic perspective

Nahir, Amir, Orda, Ariel, Raz, Danny

Рік:

2012

Мова:

english

Файл:

PDF, 283 KB

english, 2012

14

Replication-based Load Balancing

Nahir, Amir, Orda, Ariel, raz, danny

Журнал:

IEEE Transactions on Parallel and Distributed Systems

Рік:

2015

Мова:

english

Файл:

PDF, 907 KB

english, 2015

15

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 7857 || Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Biere, Armin, Nahir, Amir, Vos, Tanja

Рік:

2013

Мова:

english

Файл:

PDF, 454 KB

english, 2013

16

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - TAB-BackSpace

de Paula, Flavio M., Nahir, Amir, Nevo, Ziv, Orni, Avigail, Hu, Alan J.

Рік:

2011

Мова:

english

Файл:

PDF, 280 KB

english, 2011

17

[ACM Press the 43rd annual conference - San Francisco, CA, USA (2006.07.24-2006.07.28)] Proceedings of the 43rd annual conference on Design automation - DAC '06 - Scheduling-based test-case generation for verification of multimedia SoCs

Nahir, Amir, Ziv, Avi, Emek, Roy, Keidar, Tal, Ronen, Nir

Рік:

2006

Мова:

english

Файл:

PDF, 597 KB

english, 2006

18

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Threadmill

Adir, Allon, Golubev, Maxim, Landa, Shimon, Nahir, Amir, Shurek, Gil, Sokhin, Vitali, Ziv, Avi

Рік:

2011

Мова:

english

Файл:

PDF, 442 KB

english, 2011

19

[IEEE 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM) - Ottawa, ON, Canada (2015.5.11-2015.5.15)] 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM) - Resource allocation and management in Cloud Computing

Nahir, Amir, Orda, Ariel, Raz, Danny

Рік:

2015

Мова:

english

Файл:

PDF, 1.06 MB

english, 2015

20

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Verification of Transactional Memory in POWER8

Adir, Allon, Meissner, Charles, Nahir, Amir, Pratt, Randall R., Schiffli, Mike, St. Onge, Brett, Thompto, Brian, Tsanko, Elena, Ziv, Avi, Goodman, Dave, Hershcovich, Daniel, Hershkovitz, Oz, Hickerson

Рік:

2014

Мова:

english

Файл:

PDF, 270 KB

english, 2014

21

Workload Factoring: A Game-Theoretic Perspective

Nahir, Amir, Orda, Ariel, Raz, Danny

Журнал:

IEEE/ACM Transactions on Networking

Рік:

2014

Мова:

english

Файл:

PDF, 2.30 MB

english, 2014

22

Test Generation Methods for Utilization Improvement of Hardware-Accelerated Simulation Platforms

Kadry, Wisam, Krestyashyn, Dimtry, Morgenshtein, Arkadiy, Nahir, Amir, Sokhin, Vitali, Park, Jin Sung, Park, Sung-Boem, Jeong, Wookyeong, Son, Jae Cheol

Журнал:

IEEE Design and Test

Рік:

2016

Мова:

english

Файл:

PDF, 526 KB

english, 2016

23

[IEEE NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium - Istanbul, Turkey (2016.4.25-2016.4.29)] NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium - Reversing the supermarket: A distributed approach for handling elasticity in the cloud

Nahir, Amir, Orda, Ariel, Raz, Danny

Рік:

2016

Мова:

english

Файл:

PDF, 484 KB

english, 2016

24

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Bridging pre-silicon verification and post-silicon validation

Nahir, Amir, Kapoor, Shakti, Ziv, Avi, Galivanche, Rajesh, Hu, Alan, Abramovici, Miron, Camilleri, Albert, Bentley, Bob, Foster, Harry, Bertacco, Valeria

Рік:

2010

Файл:

PDF, 166 KB

2010

25

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Bridging pre-silicon verification and post-silicon validation

Nahir, Amir, Kapoor, Shakti, Ziv, Avi, Galivanche, Rajesh, Hu, Alan, Abramovici, Miron, Camilleri, Albert, Bentley, Bob, Foster, Harry, Bertacco, Valeria

Рік:

2010

Мова:

english

Файл:

PDF, 166 KB

english, 2010

26

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Comparative Study of Test Generation Methods for Simulation Accelerators

Kadry, Wisam, Krestyashyn, Dimtry, Morgenshtein, Arkadiy, Nahir, Amir, Sokhin, Vitali, Park, Jin Sung, Park, Sung-Boem, Jeong, Wookyeong, Son, Jae Cheol

Рік:

2015

Мова:

english

Файл:

PDF, 118 KB

english, 2015